home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / cocktail / lalr.lha / lalr / src / Default.md < prev    next >
Text File  |  1992-08-18  |  2KB  |  70 lines
  1. (* compute default states *)
  2.  
  3. (* $Id: Default.md,v 1.2 1991/11/21 14:53:14 grosch rel $ *)
  4.  
  5. (* $Log: Default.md,v $
  6.  * Revision 1.2  1991/11/21  14:53:14  grosch
  7.  * new version of RCS on SPARC
  8.  *
  9.  * Revision 1.1  90/06/12  16:54:00  grosch
  10.  * renamed main program to lalr, added { } for actions, layout improvements
  11.  * 
  12.  * Revision 1.0     88/10/04  14:36:09  vielsack
  13.  * Initial revision
  14.  * 
  15.  *)
  16.  
  17. DEFINITION MODULE Default;
  18.  
  19. FROM Automaton    IMPORT tStateIndex;
  20. FROM TokenTab    IMPORT Vocabulary;
  21. FROM Gen    IMPORT tTableLine;
  22.  
  23. VAR NoDefault : BOOLEAN;
  24.  
  25.   PROCEDURE CreateDefaultList;
  26.  
  27.   (* Erzeugen / Initialisieren der Datenstruktur zur Berechnug der Default-
  28.      zustaende *)
  29.  
  30.  
  31.   PROCEDURE PutInDefaultList 
  32.     (     ReadState : tStateIndex;
  33.      VAR TableLine : tTableLine);  (* read only *)
  34.  
  35.   (* Eintragen der in TableLine enthaltenen Zeile in die Datenstruktur *)
  36.  
  37.   
  38.   PROCEDURE ComputeDefaults;
  39.  
  40.   (* Berechnung der variablen Defaultzustaende und entfernen, der dadurch
  41.   in der Tabelle (Datenstruktur) ueberfluessigen Eintraege *)
  42.  
  43.  
  44.   PROCEDURE GetNextState
  45.     ( State : tStateIndex) : tStateIndex;
  46.   
  47.   (* Funktion zum weiterschalten des Zustandes nach interner Strategie *)
  48.  
  49.   PROCEDURE GetTSortState
  50.     ( State : tStateIndex) : tStateIndex;
  51.   
  52.   (* Funktion zum weiterschalten des Zustandes nach interner Strategie *)
  53.  
  54.   PROCEDURE GetNSortState
  55.     ( State : tStateIndex) : tStateIndex;
  56.   
  57.   (* Funktion zum weiterschalten des Zustandes nach interner Strategie *)
  58.  
  59.  
  60.   PROCEDURE GetDefaultTableLine
  61.     (     ReadState : tStateIndex;
  62.      VAR TableLine : tTableLine;
  63.      VAR Default   : tStateIndex);
  64.  
  65.   (* Auslesen der durch 'ReadState' bezeichneten Zeile aus der
  66.      Datenstruktur *)
  67.  
  68.  
  69. END Default.
  70.